A Theory of Normative Reasoning Schemes
نویسندگان
چکیده
منابع مشابه
Argumentation for Normative Reasoning
An agent’s behaviour is governed by multiple factors, including its beliefs/desires/intentions, its reasoning processes and societal influences acting upon it, such as norms. In this paper we propose an extensible argumentation inspired reasoning procedure, and show how it may be used to perform normative reasoning. . The language used by our procedure is built around defeasible, nonmonotonic r...
متن کاملArgument Schemes for Normative Practical Reasoning
This paper describes a framework for practical reasoning in the presence of norms. We describe a formal normative model constructed using Action-based Alternating Transition Systems. This model is able to represent goals; obligations and prohibitions and their violation; and permissions, which are used to derogate the former. Inspired by Atkinson’s scheme for practical reasoning, we utilise arg...
متن کاملExplanation in Probabilistic Systems: Is It Feasible? Will It Work?
Reasoning within such domains as engineering, science, management, or medicine is traditionally based on formal methods employing probabilistic treatment of uncertainty. It seems natural to base artificial reasoning systems in these domains on the normative foundations of probability theory. Two usual objections to this approach are (1) probabilistic inference is computationally intractable in ...
متن کاملThe Role of Diagnosis and Decision Theoryin Normative
A theory of diagnosis and qualitative decision theory are able to formalize reasoning with norms. They are thus diierent from deontic logic, that formalizes reasoning about norms. In this paper, we compare two theories of diagnosis for normative systems: Ramos and Fiadeiro's theory of diagnosis developed for organizational process design and Tan and Van der Torre's theory of diagnosis extended ...
متن کاملPrioritized Norms in Formal Argumentation
To resolve conflicts among norms, various nonmonotonic formalisms can be used to perform prioritized normative reasoning. Meanwhile, formal argumentation provides a way to represent nonmonotonic logics. In this paper, we propose a representation of prioritized normative reasoning by argumentation. Using hierarchical abstract normative systems, we define three kinds of prioritized normative reas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015